$\vdash$  Unit $\in$ Type